Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
- Författare
- (Edited by Hana Chockler, Georg Weissenbacher.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer International Publishing, Imprint: Springer | 2018 | Tyskland, Cham | XIX, 703 sidor. 146 illus. online resource. | 978-3-319-96145-3 |
| Springer International Publishing, Imprint: Springer | 2018 | Tyskland, Cham | XX, 545 sidor. 106 illus. online resource. | 978-3-319-96142-2 |